Using data flow analysis for the reliability assessment of safety-critical software systems
نویسنده
چکیده
Reliability analysis for safety-critical software systems often needs additional expert knowledge, because of the small data-sets available. A Bayesian approach is used to develop a reliability model based on expert knowledge and small data-sets. The expert knowledge is obtained with data flow analysis. Certain variables in the program code are examined to calculate their probability of causing a failure. These additional information are incorporated into a suitable distribution function to be able calculate reliability characteristics with greater precision. Key-Words: software reliability, bayesian reliability, static analysis, value analysis, abstract interpretation
منابع مشابه
Assessment and Monitoring for Railway Tracks Reliability and Safety using Nondestructive Testing Measurement Systems
The deterioration of railway tracks raises great concerns about the integrity of assessments and evaluations of railway tracks currently in service. Integrated inspection strategies coupled with innovations in inspection technology can lead to significant improvements in operational cost efficiency and reliability without the requirement of a fundamental shift in the existing understanding o...
متن کاملDynamical stability of cantilevered pipe conveying fluid in the presence of linear dynamic vibration absorber
When the velocity of fluid flow in a cantilevered pipe is successively increased, the system may become unstable and flutter instability would occur at a critical flow velocity. This paper is concerned with exploring the dynamical stability of a cantilevered fluid-conveying pipe with an additional linear dynamic vibration absorber (DVA) attachment. It is endeavoured to show that the stability o...
متن کاملProposing an Efficient Software-Based Method for Enhancing the Reliability of Critical Application Robot
Robots play such remarkable roles in humans’ modern lives that performing many tasks without them isimpossible. Using robotic systems is gradually increasing the tasks allocated to them and they are becomingmore complex and critical. Software reliability is one of the most significant requirements of robots. Forenhancing reliability, systems should be inherently designed to be tolerable of soft...
متن کاملReliability Assessment of Shallow Domes Using a Semi-Empirical Evaluation Procedure
Like other structures, shallow domes have imperfections from the prescribed values obtained by specifications during the construction process. Specifications define some tolerance values for imperfections. Despite consideration of these values, the critical load of a dome varies for each imperfection pattern. So the reliability plays an important role in domes safety. Theoretical evaluation pro...
متن کاملIntegrated Analysis of Complex Safety Critical Systems
Safety Critical Systems are those systems that can potentially lead to loss of life, injury, and environmental damage. Therefore such systems have to be designed and built to meet a variety of functional and non-functional requirements, including safety, reliability, availability, and maintainability. It is essential to assess, as an independent activity, the extent to which these requirements ...
متن کامل